翻訳と辞書 Words near each other ・ Guardians of the Galaxy (soundtrack) ・ Guardians of the Galaxy (TV series) ・ Guardians of the Gate ・ Guardians of the Globe ・ Guardians of the Huai River ・ Guardians of the Laws ・ Guardians of the Lost Code ・ Guardians of the Lost Library ・ Guardians of the Oglala Nation ・ Guardians of the Peace ・ Guardians of the Universe ・ Guardians of Time (Art) ・ Guardians of Time Trilogy ・ Guardians of Time Trilogy universe ・ Guarded ・ Guarded Command Language ・ Guarded logic ・ Guarded suspension ・ Guardhouse ・ Guardia ・ Guardia (surname) ・ Guardia alla Frontiera ・ Guardia de Asalto ・ Guardia di Finanza ・ Guardia Dushanbe ・ Guardia Lombardi ・ Guardia Mitre ・ Guardia Perticara ・ Guardia Piemontese ・ Guardia Republicana Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Guarded Command Language ： ウィキペディア英語版 Guarded Command Language The Guarded Command Language (GCL) is a language defined by Edsger Dijkstra for predicate transformer semantics. It combines programming concepts in a compact way, before the program is written in some practical programming language. Its simplicity makes proving the correctness of programs easier, using Hoare logic. ==Guarded command== The guarded command is the most important element of the guarded command language. In a guarded command, just as the name says, the command is "guarded". The guard is a proposition, which must be true before the statement is executed. At the start of that statement's execution, one may assume the guard to be true. Also, if the guard is false, the statement will not be executed. The use of guarded commands makes it easier to prove the program meets the specification. The statement is often another guarded command. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Guarded Command Language」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.